Resumen: ¿Cuál es la referencia definitiva o la implementación de referencia para la ISA de nivel de usuario de RISC-V? Contexto: El sitio web de RISC-V tiene "El Manual del conjunto de instrucciones de RISC-V" que explica muy bien las instrucciones a nivel de usuario, pero no proporciona una especificación exacta para ellas. Estoy intentando construir un simulador ISA a nivel de usuario ahora y tengo la intención de escribir una implementación de FPGA más adelante, por lo que el comportamiento exacto es importante para mí. Una implementación de referencia sería suficiente, pero preferiblemente debería ser lo más simple posible, es decir, trataría de entender una implementación canalizada solo como último recurso. Lo importante es comprender la ISA especificada y no la implementación de una sola CPU o la implementación del compilador. Un ejemplo para mostrar mi problema es la instrucción AUIPC: La explicación en prosa dice que "AUIPC forma un desplazamiento de 32 bits del U-inmediato de 20 bits, completando los 12 bits más bajos con ceros, agrega este desplazamiento a la PC, luego coloca el resultado en el registro rd. " Quería saber si esto se refiere a la PC antigua o nueva, es decir, la posición de la instrucción AUIPC o la siguiente instrucción. Miré la implementación de "RISCV Angel", pero eso parece enmascarar los bits inferiores de la (antigua) PC, no solo los inmediatos, por lo que no pude encontrar ninguna razón en la especificación, ni siquiera en el cambiar el historial de la especificación (ya que Angel es un poco mayor). En lugar de una respuesta, ahora tengo dos preguntas sobre AUIPC. Muchas otras instrucciones me plantean problemas similares.
2021-01-16 08:17:10
AFAICT, el manual del conjunto de instrucciones RISC-V que cita es lo más parecido que hay a una referencia definitiva. Si hay cosas que no están claras o son incorrectas, entonces puede abrir problemas en el sitio de Github donde se mantiene ese documento: https://github.com/riscv/riscv-isa-manual
En lo que respecta a AIUPC, la respuesta está implícita, pero no se indica explícitamente, en esta oración al final de la página 9 del manual actual:
Hay un registro adicional visible para el usuario: la PC del contador del programa contiene la dirección de la instrucción actual.
Basado en esa declaración, esperaría que el valor de pc que es visto y manipulado por la instrucción AIUPC sea la dirección de la instrucción AIUPC misma.
Esta interpretación está respaldada por la discusión de la instrucción JALR:
La instrucción de salto indirecto JALR (registro de salto y enlace) utiliza la codificación de tipo I. La dirección de destino se obtiene agregando el I-inmediato con signo de 12 bits al registro rs1, luego estableciendo el bit menos significativo del resultado en cero. La dirección de la instrucción que sigue al salto (pc + 4) se escribe en el registro rd.
Dado que la dirección de la siguiente instrucción se expresa como pc + 4, parece claro que el valor de pc visible durante la ejecución de JALR es la dirección de la propia instrucción JALR.
El último borrador del manual (en https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) aclara un poco la situación. En lugar de esto en el manual actual:
AUIPC agrega 12 bits cero de orden bajo al U-inmediato de 20 bits, el signo extiende el resultado a 64 bits, luego lo agrega a la PC y coloca el resultado en el registro rd.
el último borrador dice:
AUIPC forma un desplazamiento de 32 bits desde el U-inmediato de 20 bits, completando los 12 bits más bajos con ceros, suma este desplazamiento a la pc de la instrucción AUIPC y luego coloca el resultado en el registro rd.
|
Tu respuesta
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("editor externo", función () {
StackExchange.using ("fragmentos", función () {
StackExchange.snippets.init ();
});
});
}, "fragmentos de código");
StackExchange.ready (function () {
var channelOptions = {
etiquetas: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("editor externo", función () {
// Debe activar el editor después de los fragmentos, si los fragmentos están habilitados
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("fragmentos", función () {
createEditor ();
});
}
else {
createEditor ();
}
});
function createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
heartbeatType: 'respuesta',
autoActivateHeartbeat: falso,
convertImagesToLinks: verdadero,
noModals: cierto,
showLowRepImageUploadWarning: true,
reputacionToPostImages: 10,
bindNavPrevention: verdadero,
sufijo: "",
imageUploader: {
brandingHtml: "Desarrollado por \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.725645.40531 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C32.492 14.648.942348 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.5454.5C35.8 3520.49455C35.8 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evenodd \ "d = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.662025C 289.15527 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C834.232.283 28.121 12.8346C2834.125.283 28.121 12.8346C2834.1256.28 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6317.10.99 732.943C 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879 13.2566 19.802879. .0007. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z / \ u003e \ u003cpath d = M3.31675 6.59049C3.31675 5.28821 2.83866 4.66232 1.82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.82012009151.1. 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z \ "fill = \" # 1BB76E \ "/ \ u003e \ u003ec / s3 / s ,
contentPolicyHtml: “Contribuciones de usuario con licencia bajo \ u003ca href =” https: //stackoverflow.com/help/licensing “\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href =” https://stackoverflow.com / legal / content-policy \ "\ u003e (política de contenido) \ u003c / a \ u003e",
allowUrls: verdadero
},
onDemand: verdadero,
discardSelector: ".discard-answer"
, inmediatamenteShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
¡Gracias por contribuir con una respuesta a Stack Overflow!
Asegúrese de responder la pregunta. ¡Proporcione detalles y comparta su investigación!
Pero evita ...
Pedir ayuda, aclaraciones o responder a otras respuestas.
Hacer declaraciones basadas en opiniones; Respaldelos con referencias o experiencia personal.
Para obtener más información, consulte nuestros consejos sobre cómo escribir buenas respuestas.
Borrador guardado
Borrador descartado
Regístrate o inicia sesión
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Regístrese con Google
Registrarse usando Facebook
Regístrese con correo electrónico y contraseña
Enviar
Publicar como invitado
Nombre
Email
Requerido, pero nunca mostrado
StackExchange.ready (
function () {
StackExchange.openid.initPostLogin ('. New-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f55314747% 2frisc-v-user-level-reference-or-reference-deployment% 23new-answer' , 'question_page');
}
);
Publicar como invitado
Nombre
Email
Requerido, pero nunca mostrado
Publica tu respuesta
Descarte
Al hacer clic en "Publicar su respuesta", acepta nuestros términos de servicio, política de privacidad y política de cookies.
No es la respuesta que estás buscando? Lea otras preguntas con la etiqueta riscv o formule su propia pregunta.